Succinct Non-Interactive ARguments of Knowledge